Countable valued fields in weak subsystems of second-order arithmetic
نویسندگان
چکیده
منابع مشابه
Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic
This paper is part of the program of reverse mathematics. We assume the reader is familiar with this program as well as with RCA,, and WKL,, the two weak subsystems of second-order arithmetic we are going to work with here. (If not, a good place to start is [2].) In [2], [3], [4], many well-known theorems about countable rings, countable fields, etc. were studied in the context of reverse mathe...
متن کاملSubsystems of Second Order Arithmetic Second Edition
Foundations of mathematics is the study of the most basic concepts and logical structure of mathematics, with an eye to the unity of human knowledge. Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core...
متن کاملThe Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic
Working within weak subsystems of second-order arithmetic Z2 we consider two versions of the Baire Category theorem which are not equivalent over the base system RCAo. We show that one version (B.C.T.I) is provable in RCAo while the second version (B.C.T.II) requires a stronger system. We introduce two new subsystems of Z2, which we call RCA' and WKL', and show that RCA' suffices to prove B.C.T...
متن کاملFundamental notions of analysis in subsystems of second-order arithmetic
We develop fundamental aspects of the theory of metric, Hilbert, and Banach spaces in the context of subsystems of second-order arithmetic. In particular, we explore issues having to do with distances, closed subsets and subspaces, closures, bases, norms, and projections. We pay close attention to variations that arise when formalizing definitions and theorems, and study the relationships betwe...
متن کاملExtensions of Commutative Rings in Subsystems of Second Order Arithmetic
We prove that the existence of the integral closure of a countable commutative ring R in a countable commutative ring S is equivalent to Arithmetical Comprehension (over RCA0). We also show that i) the Lying Over ii) the Going Up theorem for integral extensions of countable commutative rings and iii) the Going Down theorem for integral extensions of countable domains R ⊂ S, with R normal, are p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1989
ISSN: 0168-0072
DOI: 10.1016/0168-0072(89)90006-7